Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
2

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Année:
2012
Langue:
english
Fichier:
PDF, 514 KB
english, 2012
3

Borel Complexity of Topological Operations on Computable Metric Spaces

Année:
2009
Langue:
english
Fichier:
PDF, 476 KB
english, 2009
4

Computability of compact operators on computable Banach spaces with bases

Année:
2007
Langue:
english
Fichier:
PDF, 210 KB
english, 2007
5

Feasible Real Random Access Machines

Année:
1998
Langue:
english
Fichier:
PDF, 484 KB
english, 1998
6

Borel complexity and computability of the Hahn–Banach Theorem

Année:
2008
Langue:
english
Fichier:
PDF, 298 KB
english, 2008
10

Connected choice and the Brouwer fixed point theorem

Année:
2019
Langue:
english
Fichier:
PDF, 597 KB
english, 2019
12

Preface: MLQ - Math. Log. Quart. Supplement 1/2002

Année:
2002
Langue:
english
Fichier:
PDF, 27 KB
english, 2002
13

Order-free Recursion on the Real Numbers

Année:
1997
Langue:
english
Fichier:
PDF, 1.02 MB
english, 1997
14

Approaches to Effective Semi-Continuity of Real Functions

Année:
1999
Langue:
english
Fichier:
PDF, 984 KB
english, 1999
15

Effective Borel measurability and reducibility of functions

Année:
2005
Langue:
english
Fichier:
PDF, 389 KB
english, 2005
16

Preface: MLQ - Math. Log. Quart. 4–5/2004

Année:
2004
Langue:
english
Fichier:
PDF, 50 KB
english, 2004
18

Recursive characterization of computable real-valued functions and relations

Année:
1996
Langue:
english
Fichier:
PDF, 1.90 MB
english, 1996
19

A computable version of Banach’s Inverse Mapping Theorem

Année:
2009
Langue:
english
Fichier:
PDF, 746 KB
english, 2009
20

Computability of finite-dimensional linear subspaces and best approximation

Année:
2010
Langue:
english
Fichier:
PDF, 285 KB
english, 2010
21

On Computable Compact Operators on Banach Spaces

Année:
2007
Langue:
english
Fichier:
PDF, 385 KB
english, 2007
22

Preface

Année:
2008
Langue:
english
Fichier:
PDF, 74 KB
english, 2008
23

Towards computability of elliptic boundary value problems in variational formulation

Année:
2006
Langue:
english
Fichier:
PDF, 266 KB
english, 2006
24

Computability in linear algebra

Année:
2004
Langue:
english
Fichier:
PDF, 333 KB
english, 2004
25

Generated quasi-metric hyper and function spaces

Année:
2003
Langue:
english
Fichier:
PDF, 182 KB
english, 2003
26

Topological properties of real number representations

Année:
2002
Langue:
english
Fichier:
PDF, 155 KB
english, 2002
27

Recursive quasi-metric spaces

Année:
2003
Langue:
english
Fichier:
PDF, 441 KB
english, 2003
28

Computability on subsets of metric spaces

Année:
2003
Langue:
english
Fichier:
PDF, 524 KB
english, 2003
29

Computable invariance

Année:
1999
Langue:
english
Fichier:
PDF, 1.15 MB
english, 1999
30

Computability on subsets of Euclidean space I: closed and compact subsets

Année:
1999
Langue:
english
Fichier:
PDF, 1.96 MB
english, 1999
31

Computing Uniform Bounds

Année:
2002
Langue:
english
Fichier:
PDF, 189 KB
english, 2002
32

Preface: Volume 66, Issue 1

Année:
2002
Langue:
english
Fichier:
PDF, 46 KB
english, 2002
33

On the Borel Complexity of Hahn-Banach Extensions

Année:
2005
Langue:
english
Fichier:
PDF, 283 KB
english, 2005
34

Preface

Année:
2005
Fichier:
PDF, 53 KB
2005
36

Computability and complexity in analysis

Année:
2006
Langue:
english
Fichier:
PDF, 70 KB
english, 2006
37

Recursion and Computability over Topological Structures

Année:
2001
Langue:
english
Fichier:
PDF, 29 KB
english, 2001
39

Closed choice and a Uniform Low Basis Theorem

Année:
2012
Langue:
english
Fichier:
PDF, 435 KB
english, 2012
40

Foreword

Année:
2012
Langue:
english
Fichier:
PDF, 125 KB
english, 2012
41

Preface

Année:
2008
Langue:
english
Fichier:
PDF, 61 KB
english, 2008
42

Plottable Real Number Functions and the Computable Graph Theorem

Année:
2008
Langue:
english
Fichier:
PDF, 330 KB
english, 2008
47

Weihrauch degrees, omniscience principles and weak computability

Année:
2011
Langue:
english
Fichier:
PDF, 322 KB
english, 2011